Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)Ball, Thomas; Jones, Robert B.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37406-X, 1Vol, XV-564 p, isbn 3-540-37406-XConference Proceedings

Test & défauts du logicielGénie logiciel (1995). 2003, Num 67, issn 1265-1397, 62 p.Serial Issue

LEVER : A tool for learning based verificationVARDHAN, Abhay; VISWANATHAN, Mahesh.Lecture notes in computer science. 2006, pp 471-474, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 4 p.Conference Paper

Automated technology for verification and analysis (4th International symposium, ATVA 2006, Beijing, China, October 23-26, 2006)Graf, Susanne; Zhang, Wenhui.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-47237-1, 1Vol, XIV-540 p, isbn 3-540-47237-1Conference Proceedings

SAGE: Whitebox Fuzzing for Security TestingGODEFROID, Patrice; LEVIN, Michael Y; MOLNAR, David et al.Communications of the ACM. 2012, Vol 55, Num 3, pp 40-44, issn 0001-0782, 5 p.Article

Interfacing program construction and VerificationVERHOEVEN, R; BACKHOUSE, R.Lecture notes in computer science. 1999, pp 1128-1146, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Action Language Verifier, ExtendedYAVUZ-KAHVECI, Tuba; BARTZIS, Constantinos; BULTAN, Tevfik et al.Lecture notes in computer science. 2005, pp 413-417, issn 0302-9743, isbn 3-540-27231-3, 5 p.Conference Paper

SAL 2DE MOURA, Leonardo; OWRE, Sam; RUESS, Harald et al.Lecture notes in computer science. 2004, pp 496-500, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

FORMATS 2003 : formal modeling and analysis of timed systems (Marseille, 6-7 September 2003, revised papers)Larsen, Kim G; Niebert, Peter.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-21671-5, VIII, 280 p, isbn 3-540-21671-5Conference Proceedings

Model checking and testing combinedPELED, Doron.Lecture notes in computer science. 2003, pp 47-63, issn 0302-9743, isbn 3-540-40493-7, 17 p.Conference Paper

Test AutomationPOLO, Macario; REALES, Pedro; PIATTINI, Mario et al.IEEE software. 2013, Vol 30, Num 1, pp 84-89, issn 0740-7459, 6 p.Article

Seven Principles of Software TestingMEYER, Bertrand.Computer (Long Beach, CA). 2008, Vol 41, Num 8, pp 99-101, issn 0018-9162, 3 p.Article

Types for proofs and programs (international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004)Filliâtre, Jean-Christophe; Paulin-Mohring, Christine; Werner, Benjamin et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31428-8, 1Vol, VIII-273 p, isbn 3-540-31428-8Conference Proceedings

Evidence explorer: A tool for exploring model-checking proofsDONG, Yifei; RAMAKRISHNAN, C. R; SMOLKA, Scott A et al.Lecture notes in computer science. 2003, pp 215-218, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

What went wrong: Explaining counterexamplesGROCE, Alex; VISSER, Willern.Lecture notes in computer science. 2003, pp 121-135, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Model checking software (Grenoble, 11-13 April 2002)Bosnacki, Dragan; Leue, Stefan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43477-1, X, 257 p, isbn 3-540-43477-1Conference Proceedings

TPS verification with UUT simulationWANG, Guohua; MENG, Xiaofeng; ZHAO, Ruixian et al.Proceedings of SPIE, the International Society for Optical Engineering. 2006, pp 635858.1-635858.5, issn 0277-786X, isbn 0-8194-6453-8, 2VolConference Paper

The ideal of verified softwareHOARE, Tony.Lecture notes in computer science. 2006, pp 5-16, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 12 p.Conference Paper

Test case generation according to the binary search strategyBEYDEDA, Sami; GRUHN, Volker.Lecture notes in computer science. 2003, pp 1000-1007, issn 0302-9743, isbn 3-540-20409-1, 8 p.Conference Paper

AMC: An adaptive model checkerGROCE, Alex; PELED, Doron; YANNAKAKIS, Mihalis et al.Lecture notes in computer science. 2002, pp 521-525, issn 0302-9743, isbn 3-540-43997-8, 5 p.Conference Paper

IIV : An invisible invariant verifierBALABAN, Ittai; YI FANG; PNUELI, Amir et al.Lecture notes in computer science. 2005, pp 408-412, issn 0302-9743, isbn 3-540-27231-3, 5 p.Conference Paper

The ComFoRT reasoning frameworkCHAKI, Sagar; IVERS, James; SHARYGINA, Natasha et al.Lecture notes in computer science. 2005, pp 164-169, issn 0302-9743, isbn 3-540-27231-3, 6 p.Conference Paper

Model checking software (Toronto ON, 19-20 May 2001)Dwyer, Matthew.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42124-6, X, 311 p, isbn 3-540-42124-6Conference Proceedings

Mechanized formal methods : Where next?RUSHBY, J.Lecture notes in computer science. 1999, pp 48-51, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Testing object-oriented ondustrial software without precise oracles or resultsTSE, T. H; LAU, Francis C. M; CHAN, W. K et al.Communications of the ACM. 2007, Vol 50, Num 8, pp 78-85, issn 0001-0782, 8 p.Article